Buy Used and New Geza Tarnai Books

FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

by

ISBN 13: 9783642142604

Format: Hardcover (268 pages)
Publisher: Springer
Published: 23 Feb 2011

Save for later

FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

by Eckehard Schnieder,Geza Tarnai

ISBN 13: 9783642427169

Format: Paperback (272 pages)
Publisher: Springer
Published: 29 Sep 2014

Save for later